Search Results
Google Fuzz Testing TGNS22
Explaining fuzz testing without using any code
Checking safety in Exactly-once, TLA+ and Stronger message processing
Keynote: Formal Methods at Microsoft - Nikolaj Bjørner
Lightning talk - Metamorphic testing - Zach Mitchell
Keynote: What can you do with a few days? - Mike Lusignan
Paul Berg - Testing Best Practices in Foundry Projects
Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018
13-Fuzzing Vulnserver using SPIKE (Case1)
The FASTEST and SAFEST Database
Lamport TLA+ Course Lecture 5: Transaction Commit (HD)
USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs
